241. The metrology handbook /
پدیدآورنده : the Measurement Quality Division ; Jay Bucher, editor
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calibration, Handbooks, manuals, etc,Measurement, Handbooks, manuals, etc,Quality assurance, Handbooks, manuals, etc
رده :
T50
.
M423
2004
242. The practice of enterprise modeling :
پدیدآورنده : Robert Andrei Buchmann, Dimitris Karagiannis, Marite Kirikova (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business enterprises-- Data processing, Congresses.,Business planning-- Simulation methods, Congresses.,Industrial organization-- Simulation methods, Congresses.,Information modeling, Congresses.,Information technology-- Management, Congresses.,Management information systems, Congresses.,Business & Economics-- Information Management.,Business enterprises-- Data processing.,Business mathematics & systems.,Business planning-- Simulation methods.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Industrial organization-- Simulation methods.,Information modeling.,Information retrieval.,Information technology-- Management.,Management information systems.,Public administration.,Software Engineering.
رده :
QA76
.
758
.
I35
2018
243. The semantic web -- ISWC 2018 :
پدیدآورنده : Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
244. The untold story of everything digital :
پدیدآورنده : by Thomas Green.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Air defenses-- United States-- History.,Computer engineers-- United States, Biography.,Electronic digital computers-- History.,Electronics in military engineering-- United States-- History.,Information technology-- History.,Air defenses.,Computer engineers.,Electronic digital computers.,Electronics in military engineering.,Information technology.,MATHEMATICS / General,United States., 7
رده :
UG730
.
G74
2020
245. Theoretical approaches to non-numerical problem solving :
پدیدآورنده : Hermann Balzer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
246. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
247. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
248. Thinking-driven testing :
پدیدآورنده : Adam Roman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758
249. Time-space, spiking neural networks and brain-inspired artificial intelligence /
پدیدآورنده : Nikola K. Kasabov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational neuroscience.,Machine learning.,Neural networks (Computer science),Object-oriented methods (Computer science),Artificial intelligence.,Computational neuroscience.,COMPUTERS-- Programming-- Object Oriented.,Life sciences: general issues.,Machine learning.,Neural networks (Computer science),Neurosciences.,Object-oriented methods (Computer science),Pattern recognition.,Robotics.
رده :
QA76
.
9
.
O35
250. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
251. Toward a national research network /
پدیدآورنده : National Research Network Review Committee, Computer Science and Technology Board, Commission on Physical Sciences, Mathematics, and Resources, National Research Council.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks.,Computer networks.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.
رده :
TK5105
.
5
.
N4
1988eb
252. Toward deep neural networks :
پدیدآورنده : Yunong Zhang, Dechao Chen, Chengxu Ye
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Neural networks (Computer science),BUSINESS & ECONOMICS / Statistics,COMPUTERS / General,COMPUTERS / Machine Theory,Neural networks (Computer science)
رده :
QA76
.
87
.
Z47537
2019eb
253. Trackability and tracking of general linear systems /
پدیدآورنده : Lyubomir T. Gruyitch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic tracking-- Mathematics.,Linear control systems.,COMPUTERS-- Networking-- General.,Linear control systems.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY-- Electricity.,TECHNOLOGY-- Electronics-- General.
رده :
TJ220
254. Transactions on computational science XXXIII /
پدیدآورنده : Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
رده :
TK5105
.
8857
255. Turtle geometry :
پدیدآورنده : Harold Abelson, Andrea A. diSessa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry-- Computer-assisted instruction.,Géométrie-- Enseignement assisté par ordinateur.,Géométrie-- Étude et enseignement.,Géométrie-- Enseignement assisté par ordinateur.,Geometry-- Computer-assisted instruction.
رده :
QA462
.
A23
1981
256. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
257. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
258. Zero Trust Security
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : COMPUTERS / Computer Science ; COMPUTERS / Security / General ; Mathematics ;
259. dependent Problems in Imaging and Parameter Identification-Time
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering / Computer Graphics ; Mathematics ; MATHEMATICS / Number Systems ; &COMPUTERS / Data Science / General ; COMPUTERS / Software Development
